Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
551	NSPredicate Cheatsheet Presented by Realm: a mobile database that replaces Core Data and SQLite. Learn more at http://realm.io Basic Comparisons =,== Add to Reading List Source URL: realm.io Language: English Query languages Predicate logic Formal languages Predicate Semantics SQL Regular expression Relational operator K Computing Software engineering Computer programming
552	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: stat.ethz.ch Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
553	An SMT-LIB Format for Sequences and Regular Expressions Nikolaj Bjørner Microsoft Research Vijay Ganesh MIT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Combinatorics Combinatorics on words Regular expressions Pattern matching Formal methods Fold Alphabet Sequence Satisfiability Modulo Theories Mathematics Formal languages Theoretical computer science
554	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.csie.ntu.edu.tw Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
555	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.mirror.ac.za Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
556	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
557	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.rstudio.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
558	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
559	ICS 162 – Fall 2003 – Midterm Name: Student ID: 1: Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2003-11-10 23:13:26 Models of computation Computer science Software engineering Regular language Deterministic finite automaton Context-free grammar Nondeterministic finite automaton Regular expression Book:Theory Of Computation Automata theory Formal languages Theoretical computer science
560	Substitutional Quantifiers John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 13:16:19 Semantics Model theory Metalogic Interpretation Quasi-quotation Truth-value semantics Constructible universe Well-formed formula Quantification Logic Mathematical logic Formal languages

UPDATE